(define (plus1 a b)
  (+ a b))

(define plus2
  (λ (a b)
    (+ a b)))
